TSTP Solution File: SEV021^7 by Nitpick---2016